Tailor-Made Operating Systems for Embedded Parallel Applications

This paper presents the Pure/Epos approach to deal with the high complexity of adaptable operating systems and also to diminish the distance between application and operating system. A system designed according to the proposed methodology may be automatically tailored to satisfy an specific application. In order to enable this, the application must be written referring to the inflated interfaces that export the system object repository and then be submitted to an analyzer that will proceed syntactical and data flow analysis to extract a blueprint for the operating system to be generated. This blueprint is then refined by dependency analysis against information about the execution scenario acquired from the user via visual tools. The outcome of this process is a configuration file consisting of selective realize keys that will support the compilation of the tailored operating system.